Formal Methods for Autonomous Systems

Tichakorn Wongpiromsarn | Mahsa Ghasemi | Murat Cubuktepe | Georgios Bakirtzis | Steven Carr | Mustafa O. Karabag | Cyrus Neary | Parham Gohari | Ufuk Topcu

978-1-63828-273-0

300.00 USD